This was suggested in !4823.
}
/**
- * gtk_search_entry_set_search_delay:
+ * gtk_search_entry_set_search_delay: (attributes org.gtk.Property.set_property=search-delay)
* @entry: a `GtkSearchEntry`
* @delay: a delay in milliseconds
*
}
/**
- * gtk_search_entry_get_search_delay
+ * gtk_search_entry_get_search_delay: (attributes org.gtk.Property.get_property=search-delay)
* @entry: a `GtkSearchEntry`
*
* Get the delay to be used between the last keypress and the